A cognitive assistant for learning java featuring social dialogue
نویسندگان
چکیده
منابع مشابه
f/sla from learner perspectives: a social activity or a cognitive process
in the past couple of decades sociocultural theory of sla and its implications in efl contexts have attracted attentions of research circles worldwide and aroused some controversies. firth and wagner (1997) have questioned the principles of the cognitive view which gives importance to mental constructs in favor of sociocultural view which highlights social and contextual constructs. but if soci...
15 صفحه اولDialogue Platform for Interactive Personal Assistant Software
An interactive personal assistant software system can perform services desired by users through a natural language interface. In this paper, we propose an effective knowledge platform structure that considers expanded structural application domains of language understanding and dialogue management modules. These modules form the core technology of the interactive personal assistant software. Fo...
متن کاملHoudini, an Annotation Assistant for ESC/Java
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each module be accompanied by annotations that specify the module. To help reduce the cost of writing specifications, this paper presents Houdini, an annotation assistant for the modular checker ESC/Java. To infer suitable ...
متن کاملDialogue Initiative in a Web Assistant
The Web Assistant provides a conversational interface to selected sites on the World Wide Web. Users interact with the assistant by means of a flexible spoken dialogue. This paper describes the goals of the dialogue controller for the assistant and the consequent requirements for a dialogue script representation. The principle objective is to facilitate the efficient authoring of flexible conve...
متن کاملJKelloy: A Proof Assistant for Relational Specifications of Java Programs
Alloy is a relational specification language with a built-in transitive closure operator which makes it particularly suitable for writing concise specifications of linked data structures. Several tools support Alloy specifications for Java programs. However, they can only check the validity of those specifications with respect to a bounded domain, and thus, in general, cannot provide correctnes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Human-Computer Studies
سال: 2018
ISSN: 1071-5819
DOI: 10.1016/j.ijhcs.2018.02.004